Complexity classes - PDFSEARCH.IO - Document Search Engine

Complexity classes
Results: 1120

#	Item
381	Part III Michaelmas 2012 COMPUTATIONAL COMPLEXITY EXERCISE SHEET 1: Turing machines Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-10-08 12:31:35 Complexity classes Structural complexity theory Mathematical optimization Analysis of algorithms NP-complete P versus NP problem NP-hard NP Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
382	This newsletter is copied free at the office of the State member for Mawson – Mr Leon Bignell FOOP PROGRAM APRIL[removed]Note Working B’s in the park will be cancelled when there is a Total Fire ban in the MT Lofty Re Add to Reading List Source URL: www.communitywebs.org Language: English - Date: 2015-04-09 01:23:10 Chrysanthemoides monilifera NP Gate Weed control Land management Landscape architecture Agriculture Calenduleae Complexity classes
383	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:51 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
384	Chapter 3 Associative Lambek Calculus The general shape of the CG theory of natural language syntax is that natural language can be modeled as language-specific lexicons, which consider of axioms in the proof theory bei Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-11-13 00:43:56 Propositional calculus Boolean algebra Complexity classes Mathematical constructivism Non-classical logic Categorial grammar NP Intuitionistic logic Natural deduction Logic Mathematical logic Theoretical computer science
385	The EATCS Award 2015 is awarded to Christos Papadimitriou for his visionary and pioneering contributions to the development of Computer Science and its connections to the physical and applied sciences. Prof Christos H. P Add to Reading List Source URL: eatcs.org Language: English - Date: 2015-02-04 10:39:01 Christos Papadimitriou SNP PPAD NP Approximation algorithm Computational complexity theory PPA Complexity Mathematical optimization Theoretical computer science Complexity classes Applied mathematics
386	Vol. 00 no[removed]Pages 1–3 BIOINFORMATICS Supplementary Material for TFBS Identification Based on Genetic Algorithm with Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-10-26 00:26:46 Applied mathematics L Time complexity P FO NC Theoretical computer science Computational complexity theory Complexity classes
387	1 A brief overview of Complexity Theory The following brief overview is intended as a teaser for students in an introductory course on Complexity Theory. Out of the tough came forth sweetness1 Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:17 Probabilistic complexity theory Computational complexity theory Mathematical optimization Structural complexity theory NP-complete Complexity NP P versus NP problem Probabilistically checkable proof Theoretical computer science Applied mathematics Complexity classes
388	From Statistical Zero Knowledge to Secret Sharing Vinod Vaikuntanathan∗ MIT CSAIL Prashant Nalini Vasudevan† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-03-24 23:55:10 Complexity classes Cryptographic protocols Probabilistic complexity theory Zero-knowledge proof Interactive proof system IP NP Secret sharing Randomized algorithm Theoretical computer science Computational complexity theory Applied mathematics
389	Faster Parsing by Supertagger Adaptation Jonathan K. Kummerfeld a Jessika Roesner b Tim Dawborn a a Add to Reading List Source URL: www.jkk.name Language: English - Date: 2015-04-07 13:36:10 Complexity classes Language Grammar Combinatory categorial grammar Combinatory logic Categorial grammar Syntax NP Linguistics Theoretical computer science Computational linguistics
390	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software

UPDATE